x

Lambda Calculus

It is a machine created by Alonzo Church.
Any operation that could be performed using Lambda Calculus was termed as "computable."

Succeeded by Turing Machine

Left-click: follow link, Right-click: select node, Scroll: zoom
x